#include <stdio.h>

int main()
{
    double t,h,e,w;
    int x;
    scanf("%lf %lf %lf",&t,&h,&e);

    w=0.2*t+0.3*h+0.5*e;
    x=w;
    
    printf("%d",x);
    return 0;
}